Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
61	On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Automated theorem proving Logic in computer science Propositional calculus Unsatisfiable core Boolean algebra Resolution Exponential time hypothesis Algorithm Maximum satisfiability problem Boolean satisfiability problem DavisPutnam algorithm
62	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
63	EMERGENCE OF INTELLIGENT MACHINES: CHALLENGES AND OPPORTUNITIES Non-Human Intelligence Bart Selman Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-03 18:01:36 Boolean algebra Logic in computer science Boolean satisfiability problem Electronic design automation SAT Human intelligence
64	The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:50 Data types Functional programming Subroutines Lisp Functional languages Eval Anonymous function Fexpr Boolean data type Recursion Map Cons
65	cs281: Introduction to Computer Systems Lab02 – Basic Combinational Circuits: The Mux and the Adder Overview The objective of this lab is to understand two basic combinational circuits — the multiplexor and the adde Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Logic gates Boolean algebra Digital circuits Logic in computer science Algebraic logic Multiplexer Adder Combinational logic Truth table Arduino Breadboard OR gate
66	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
67	Conjunctive Partial Deduction in Practice Jesper Jrgensen? Michael Leuschel?? Bern Martens??? K.U. Leuven, Department of Computer Science Celestijnenlaan 200A, B-3001 Heverlee, Belgium e-mail: fjesper,michael,berng@cs.k Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Automated theorem proving Rules of inference Singularity theory Unfolding Prolog Conjunction Resolution Boolean algebra
68	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:34 Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
69	769 Documenta Math. Characterisation of the Berkovich Spectrum of the Banach Algebra of Bounded Continuous Functions Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-14 07:18:55 General topology Hausdorff space Banach space Open and closed maps Compact space Banach algebra Boolean algebra Filter Berkovich space Net Stoneech compactification HahnBanach theorem
70	Quadratic reformulations of nonlinear binary optimization problems Martin Anthony∗, Endre Boros†, Yves Crama‡, Aritanan Gruber§ Abstract Very large nonlinear unconstrained binary optimization problems Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2016-04-17 06:48:10 Algebra Mathematical optimization Pseudo-Boolean function Quadratic function Boolean algebra Homogeneous polynomial Polynomial Variable Homogeneous function Function of several real variables